<html>
<head><meta charset="utf-8"><title>meeting 09.01.2020 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html">meeting 09.01.2020</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="208739591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208739591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208739591">(Sep 01 2020 at 19:59)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="692">@WG-traits</span></p>



<a name="208739730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208739730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208739730">(Sep 01 2020 at 20:00)</a>:</h4>
<p>Meeting time!</p>



<a name="208739876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208739876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208739876">(Sep 01 2020 at 20:01)</a>:</h4>
<p>Before we get started, how's everyone been?</p>



<a name="208739959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208739959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208739959">(Sep 01 2020 at 20:01)</a>:</h4>
<p>(or not lol)</p>



<a name="208740039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Ani <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740039">(Sep 01 2020 at 20:02)</a>:</h4>
<p>I'm doing good</p>



<a name="208740107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740107">(Sep 01 2020 at 20:02)</a>:</h4>
<p>hello</p>



<a name="208740124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740124">(Sep 01 2020 at 20:02)</a>:</h4>
<p>Nice to see some new...faces...names?</p>



<a name="208740126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740126">(Sep 01 2020 at 20:02)</a>:</h4>
<p>"getting by"</p>



<a name="208740139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bram van den Heuvel <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740139">(Sep 01 2020 at 20:02)</a>:</h4>
<p>Hi everyone, I'll be reading along today!</p>



<a name="208740197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740197">(Sep 01 2020 at 20:03)</a>:</h4>
<p>So, we don't have anything in particular planned for today</p>



<a name="208740209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740209">(Sep 01 2020 at 20:03)</a>:</h4>
<p>I'm super excited to put more thoughts into traits I have to say. And a bit afraid that with all going it'll be hard as usual, but I hope to make time. :)</p>



<a name="208740232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740232">(Sep 01 2020 at 20:03)</a>:</h4>
<p>But we should probably recap what's happened over the summer</p>



<a name="208740301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740301">(Sep 01 2020 at 20:04)</a>:</h4>
<p>yeah I've still got 386 unread zulip messages from summer</p>



<a name="208740315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740315">(Sep 01 2020 at 20:04)</a>:</h4>
<p>so I'd like to get an overview of what's going on :)</p>



<a name="208740323"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740323" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740323">(Sep 01 2020 at 20:04)</a>:</h4>
<p>I'm super excited to see some things move forward. Really want to see Chalk integration in rustc move forward</p>



<a name="208740337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740337">(Sep 01 2020 at 20:04)</a>:</h4>
<p>...I may just "mark all as read" I guess..</p>



<a name="208740357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740357">(Sep 01 2020 at 20:04)</a>:</h4>
<p>I would like to see like 40-60% of rustc tests pass in compare mode=chalk</p>



<a name="208740410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740410">(Sep 01 2020 at 20:05)</a>:</h4>
<p>Anyways, the past month or two hasn't been super active</p>



<a name="208740472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740472">(Sep 01 2020 at 20:05)</a>:</h4>
<p>/me goes to look what's happened in rustc first</p>



<a name="208740477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740477">(Sep 01 2020 at 20:05)</a>:</h4>
<p>I thnk a good goal for the meeting would be surveying where we are, maybe re-establishing a bit the overall status of things -- I've had a long-standing project to update the skill tree, which might be a good goal for this week</p>



<a name="208740516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740516">(Sep 01 2020 at 20:05)</a>:</h4>
<p>Good idea</p>



<a name="208740525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740525">(Sep 01 2020 at 20:05)</a>:</h4>
<p>maybe we should take some notes just on the general status of the things we <em>were</em> working on</p>



<a name="208740631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740631">(Sep 01 2020 at 20:06)</a>:</h4>
<p>Hmm, that works</p>



<a name="208740685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740685">(Sep 01 2020 at 20:06)</a>:</h4>
<p>So, looking at the sprint doc (thanks <span class="user-mention" data-user-id="125131">@detrumi</span> for posting)</p>



<a name="208740686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740686">(Sep 01 2020 at 20:06)</a>:</h4>
<p>(for those who are new, the <a href="https://rust-lang.github.io/wg-traits/roadmap/skill-tree.html">skill tree</a> kind of tracks some of the major milestones and progress towards them, though it's a bit out of date)</p>



<a name="208740714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740714">(Sep 01 2020 at 20:07)</a>:</h4>
<p>repost for convenience: <a href="https://hackmd.io/D_wskAmRT52zL9xmhmg0Kg">https://hackmd.io/D_wskAmRT52zL9xmhmg0Kg</a></p>



<a name="208740837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740837">(Sep 01 2020 at 20:07)</a>:</h4>
<p>I'm not sure going over all the past goals is best</p>



<a name="208740859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740859">(Sep 01 2020 at 20:07)</a>:</h4>
<p>But maybe bring up things that haven't been finished</p>



<a name="208740923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740923">(Sep 01 2020 at 20:08)</a>:</h4>
<p>where is the meeting agenda doc that we had before?</p>



<a name="208740945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740945">(Sep 01 2020 at 20:08)</a>:</h4>
<p>just to have a place to take notes that is not the old sprint doc</p>



<a name="208740951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740951">(Sep 01 2020 at 20:08)</a>:</h4>
<p><a href="https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg">https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg</a></p>



<a name="208740993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208740993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208740993">(Sep 01 2020 at 20:08)</a>:</h4>
<p>We did a poor job of keeping that updated near the end of last sprint</p>



<a name="208741001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741001">(Sep 01 2020 at 20:09)</a>:</h4>
<p>My bad</p>



<a name="208741021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741021">(Sep 01 2020 at 20:09)</a>:</h4>
<p>I think going through active/recent work first is a better ordering than going through the whole list</p>



<a name="208741042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741042">(Sep 01 2020 at 20:09)</a>:</h4>
<p>Agreed</p>



<a name="208741054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741054">(Sep 01 2020 at 20:09)</a>:</h4>
<p>I guess let's start with rustc integration?</p>



<a name="208741068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741068">(Sep 01 2020 at 20:09)</a>:</h4>
<p>since <span class="user-mention" data-user-id="232957">@Jack Huey</span> brought it up?</p>



<a name="208741082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741082">(Sep 01 2020 at 20:09)</a>:</h4>
<p>Open PR for chalk upgrade: <a href="https://github.com/rust-lang/rust/issues/75173">rust#75173</a></p>



<a name="208741092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741092">(Sep 01 2020 at 20:09)</a>:</h4>
<p>I am taking some notes in <a href="https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg">this hackmd</a>, maybe people can add some other things that have had updates in the bullet list</p>



<a name="208741133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741133">(Sep 01 2020 at 20:10)</a>:</h4>
<p>The <a href="https://github.com/rust-lang/rust/pull/75077"><code>kind() refactoring</code></a> looks a bit stalled</p>



<a name="208741169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741169">(Sep 01 2020 at 20:10)</a>:</h4>
<p>Yes</p>



<a name="208741198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741198">(Sep 01 2020 at 20:10)</a>:</h4>
<p>I put that into the bullet list</p>



<a name="208741234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741234">(Sep 01 2020 at 20:10)</a>:</h4>
<p>(for later discussion)</p>



<a name="208741252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741252">(Sep 01 2020 at 20:10)</a>:</h4>
<p>what is status of <a href="https://github.com/rust-lang/rust/issues/75173">rust#75173</a>?</p>



<a name="208741266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741266">(Sep 01 2020 at 20:10)</a>:</h4>
<p>Link for <code>kind</code> PR: <a href="https://github.com/rust-lang/rust/issues/75077">rust#75077</a></p>



<a name="208741294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741294">(Sep 01 2020 at 20:11)</a>:</h4>
<p>Needs your review Niko</p>



<a name="208741310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741310">(Sep 01 2020 at 20:11)</a>:</h4>
<p>Then I'll rebase (again)</p>



<a name="208741337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741337">(Sep 01 2020 at 20:11)</a>:</h4>
<p>understood</p>



<a name="208741348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741348">(Sep 01 2020 at 20:11)</a>:</h4>
<p>I think I can do that  tomorrow morning</p>



<a name="208741366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741366">(Sep 01 2020 at 20:11)</a>:</h4>
<p>I thought it was still blocked on some tings on the chalk side, but I guess not?</p>



<a name="208741400"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741400" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741400">(Sep 01 2020 at 20:11)</a>:</h4>
<p>Nope, nothing Chalk side is blocking it</p>



<a name="208741465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741465">(Sep 01 2020 at 20:12)</a>:</h4>
<p>I have/had a WIP branch based on the variance work in chalk</p>



<a name="208741472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741472">(Sep 01 2020 at 20:12)</a>:</h4>
<p>but this doesn't include that</p>



<a name="208741514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741514">(Sep 01 2020 at 20:12)</a>:</h4>
<p>ok.</p>



<a name="208741546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741546">(Sep 01 2020 at 20:12)</a>:</h4>
<p>once that PR lands, what are the next steps towards chalk-rustc integration? is it the variance work</p>



<a name="208741588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741588">(Sep 01 2020 at 20:12)</a>:</h4>
<p>I don't know what else really can/should be done there (except for maybe generators when they come) that's not "major"</p>



<a name="208741620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741620">(Sep 01 2020 at 20:13)</a>:</h4>
<p>Variance, placeholder canonicalization, params</p>



<a name="208741635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741635">(Sep 01 2020 at 20:13)</a>:</h4>
<p>Is there open work available on rustc's side for getting compare-mode=chalk to pass more tests, or is it mainly chalk changes?</p>



<a name="208741641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741641">(Sep 01 2020 at 20:13)</a>:</h4>
<p>Regions/Lifetime work somewhat, but I think that's rustc</p>



<a name="208741696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741696">(Sep 01 2020 at 20:13)</a>:</h4>
<p>what is "params"</p>



<a name="208741766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741766">(Sep 01 2020 at 20:14)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> yeah, that's what I'm saying, there might be smaller things to do (like <code>Foreign</code> and such), but overall it's blocked on Chalk</p>



<a name="208741775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741775">(Sep 01 2020 at 20:14)</a>:</h4>
<p>refactoring how rustc represents generic parameters?</p>



<a name="208741791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741791">(Sep 01 2020 at 20:14)</a>:</h4>
<p><em>maybe</em></p>



<a name="208741806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741806">(Sep 01 2020 at 20:14)</a>:</h4>
<p>=)</p>



<a name="208741831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741831">(Sep 01 2020 at 20:14)</a>:</h4>
<p>we definitely have to do work towards unifiying rustc's <code>Ty&lt;'tcx&gt;</code> and chalks <code>Ty&lt;I&gt;</code> for the integration to truly work I think</p>



<a name="208741838"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741838" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741838">(Sep 01 2020 at 20:14)</a>:</h4>
<p>We either need to refactor out <code>Param</code> on rustc side, add it to Chalk, or decide on a "permanent" way to reconcile the two</p>



<a name="208741842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741842">(Sep 01 2020 at 20:14)</a>:</h4>
<p>so I guess that bleeds into the next topic</p>



<a name="208741868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741868">(Sep 01 2020 at 20:15)</a>:</h4>
<p>I sort of view the param treatment as being part of <em>that</em> discussion</p>



<a name="208741891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741891">(Sep 01 2020 at 20:15)</a>:</h4>
<p>Potentially</p>



<a name="208741935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741935">(Sep 01 2020 at 20:15)</a>:</h4>
<p>the overall idea being that there is a bullet for "align how rustc and chalk represents types"</p>



<a name="208741965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741965">(Sep 01 2020 at 20:15)</a>:</h4>
<p>anyway it is all coming (painfully) back to me now</p>



<a name="208741976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741976">(Sep 01 2020 at 20:15)</a>:</h4>
<p>haha</p>



<a name="208741979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208741979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208741979">(Sep 01 2020 at 20:15)</a>:</h4>
<p>thorny problems</p>



<a name="208742081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742081">(Sep 01 2020 at 20:16)</a>:</h4>
<p>so, shared type library next?</p>



<a name="208742090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742090">(Sep 01 2020 at 20:16)</a>:</h4>
<p>in particular I remember that we were discussing a bit whether to adopt the rustc representation (where we don't know how many parameters a binder binds) etc</p>



<a name="208742096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742096">(Sep 01 2020 at 20:16)</a>:</h4>
<p>yeah I guess so</p>



<a name="208742116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742116">(Sep 01 2020 at 20:16)</a>:</h4>
<p>we should also link to tracking issues where they exist</p>



<a name="208742141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742141">(Sep 01 2020 at 20:16)</a>:</h4>
<p>I'm trying reacquaint myself</p>



<a name="208742180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742180">(Sep 01 2020 at 20:16)</a>:</h4>
<p>also for new folks, we have this repo <a href="https://github.com/rust-lang/wg-traits">https://github.com/rust-lang/wg-traits</a></p>



<a name="208742195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742195">(Sep 01 2020 at 20:16)</a>:</h4>
<p>that is kind of our "tracking repository"</p>



<a name="208742221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742221">(Sep 01 2020 at 20:17)</a>:</h4>
<p>although it's not that well populated right now</p>



<a name="208742247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742247">(Sep 01 2020 at 20:17)</a>:</h4>
<p>but in particular there is <a href="https://github.com/rust-lang/wg-traits/issues/16">rust-lang/wg-traits#16</a></p>



<a name="208742330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742330">(Sep 01 2020 at 20:17)</a>:</h4>
<p>we should probably have a rustc-chalk integration issue too</p>



<a name="208742421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742421">(Sep 01 2020 at 20:18)</a>:</h4>
<p>Yes</p>



<a name="208742454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742454">(Sep 01 2020 at 20:18)</a>:</h4>
<p>so <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> had <a href="https://github.com/rust-lang/rust/issues/75077">rust#75077</a></p>



<a name="208742475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742475">(Sep 01 2020 at 20:18)</a>:</h4>
<p>perf results look clean</p>



<a name="208742536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742536">(Sep 01 2020 at 20:19)</a>:</h4>
<p>From what I can see, that looks good to me to merge</p>



<a name="208742549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742549">(Sep 01 2020 at 20:19)</a>:</h4>
<p>however I think this version still has <code>kind() -&gt; &amp;TyData</code> and we were debating about refactoring that to <code>kind() -&gt; TyData</code>, right?</p>



<a name="208742553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742553">(Sep 01 2020 at 20:19)</a>:</h4>
<p>(cc <span class="user-mention" data-user-id="216206">@lcnr</span>)</p>



<a name="208742560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742560">(Sep 01 2020 at 20:19)</a>:</h4>
<p>beat me</p>



<a name="208742563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742563">(Sep 01 2020 at 20:19)</a>:</h4>
<p>that ^</p>



<a name="208742580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742580">(Sep 01 2020 at 20:19)</a>:</h4>
<p>Certainly <span class="user-mention" data-user-id="216206">@lcnr</span> was advocating for it</p>



<a name="208742588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742588">(Sep 01 2020 at 20:20)</a>:</h4>
<p>I left you a message about that in another topic by the way, maybe you missed it</p>



<a name="208742636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742636">(Sep 01 2020 at 20:20)</a>:</h4>
<p>d'oh sorry</p>



<a name="208742686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742686">(Sep 01 2020 at 20:20)</a>:</h4>
<p><a href="#narrow/stream/144729-wg-traits/topic/Looking.20to.20contribute/near/208444172">This message</a></p>



<a name="208742695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742695">(Sep 01 2020 at 20:20)</a>:</h4>
<p>I think merging a <code>kind() -&gt; &amp;TyData</code> then maybe <code>&amp;TyData</code> -&gt; <code>TyData</code>is probably a better way to approach</p>



<a name="208742712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742712">(Sep 01 2020 at 20:20)</a>:</h4>
<p>(i.e. split it up)</p>



<a name="208742768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742768">(Sep 01 2020 at 20:21)</a>:</h4>
<p>Since having <code>&amp;TyData</code> doesn't <em>break</em> anything and doesn't affect perf</p>



<a name="208742778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742778">(Sep 01 2020 at 20:21)</a>:</h4>
<p>The problem is that since we're copying the <code>TyKind</code>, there are some problems with ownership if we want to return references</p>



<a name="208742855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742855">(Sep 01 2020 at 20:21)</a>:</h4>
<p>I'd be ok landing the PR as is</p>



<a name="208742864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742864">(Sep 01 2020 at 20:21)</a>:</h4>
<p>if we're hitting complications</p>



<a name="208742884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742884">(Sep 01 2020 at 20:21)</a>:</h4>
<p>we can revisit it, as <span class="user-mention" data-user-id="232957">@Jack Huey</span> says</p>



<a name="208742960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208742960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208742960">(Sep 01 2020 at 20:22)</a>:</h4>
<p>although I don't quite understand the problem so I guess <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> I should find that message :)</p>



<a name="208743007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743007">(Sep 01 2020 at 20:22)</a>:</h4>
<p>Right, please tell me if you want me to try to still try to do more changes</p>



<a name="208743028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743028">(Sep 01 2020 at 20:22)</a>:</h4>
<p>I guess it is <a href="#narrow/stream/144729-wg-traits/topic/Looking.20to.20contribute/near/208444172">this one</a></p>



<a name="208743074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743074">(Sep 01 2020 at 20:22)</a>:</h4>
<p>Yes. Did I mess up my previous link?</p>



<a name="208743096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743096">(Sep 01 2020 at 20:23)</a>:</h4>
<p>On the Chalk side, I think we only need to add Generators and extern types</p>



<a name="208743105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743105">(Sep 01 2020 at 20:23)</a>:</h4>
<p>no, niko just missed it again <span aria-label="smirk" class="emoji emoji-1f60f" role="img" title="smirk">:smirk:</span></p>



<a name="208743131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743131">(Sep 01 2020 at 20:23)</a>:</h4>
<p>lol I did sorry</p>



<a name="208743150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743150">(Sep 01 2020 at 20:23)</a>:</h4>
<p>I just changed the topic btw to something more descriptive</p>



<a name="208743259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743259">(Sep 01 2020 at 20:24)</a>:</h4>
<p>OK, anyway, let's note this and move on, but I will get back to you <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> on that</p>



<a name="208743269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743269">(Sep 01 2020 at 20:24)</a>:</h4>
<p>and faster this time :)</p>



<a name="208743285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743285">(Sep 01 2020 at 20:24)</a>:</h4>
<p>I see the problem now, for now I'm kind of inclined to land as is</p>



<a name="208743298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743298">(Sep 01 2020 at 20:24)</a>:</h4>
<p>(<a href="#narrow/stream/144729-wg-traits/topic/fn.20kind%28%29.20-.3E.20TypeKind.20or.20-.3E.20.26TypeKind/near/208444172">new link because of changed topic</a>)</p>



<a name="208743322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743322">(Sep 01 2020 at 20:24)</a>:</h4>
<p>oh, I thought the links would persist, too bad</p>



<a name="208743476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743476">(Sep 01 2020 at 20:26)</a>:</h4>
<p>And traits that need to be added on Chalk side: <code>Unpin</code>, <code>CoerceUnsized</code>, and <code>DispatchFromDyn</code></p>



<a name="208743478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743478">(Sep 01 2020 at 20:26)</a>:</h4>
<p>I guess the other thing in this heading then is figuring out how to manage bound variables</p>



<a name="208743493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743493">(Sep 01 2020 at 20:26)</a>:</h4>
<p>ah, that's another bullet item I guess?</p>



<a name="208743505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743505">(Sep 01 2020 at 20:26)</a>:</h4>
<p>haha yep</p>



<a name="208743530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743530">(Sep 01 2020 at 20:26)</a>:</h4>
<p>do we have a chalk tracking issue for that?</p>



<a name="208743543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743543">(Sep 01 2020 at 20:26)</a>:</h4>
<p>In my mind, I sometimes lump that into the region/lifetime work</p>



<a name="208743552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743552">(Sep 01 2020 at 20:26)</a>:</h4>
<p>it seems like "built-in traits"</p>



<a name="208743584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743584">(Sep 01 2020 at 20:27)</a>:</h4>
<p>Oh, tracking issue for traits: yes</p>



<a name="208743596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743596">(Sep 01 2020 at 20:27)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/363">chalk#363</a></p>



<a name="208743640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743640">(Sep 01 2020 at 20:27)</a>:</h4>
<p>Don't know if <span class="user-mention" data-user-id="251766">@Areredify</span> is still working on that</p>



<a name="208743713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743713">(Sep 01 2020 at 20:28)</a>:</h4>
<p>I think <code>Unpin</code> is not too complex</p>



<a name="208743720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743720">(Sep 01 2020 at 20:28)</a>:</h4>
<p>the other two .. more complex</p>



<a name="208743733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743733">(Sep 01 2020 at 20:28)</a>:</h4>
<p>(but there was maybe a pending PR from <span class="user-mention" data-user-id="251766">@Areredify</span> ?)</p>



<a name="208743764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743764">(Sep 01 2020 at 20:28)</a>:</h4>
<p>I see there are also a few lingering <a href="https://github.com/rust-lang/chalk/issues/368">builtin types to add</a>, I guess we mentioned them earlier</p>



<a name="208743789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743789">(Sep 01 2020 at 20:29)</a>:</h4>
<p>but they're mostly relative corner cases</p>



<a name="208743820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743820">(Sep 01 2020 at 20:29)</a>:</h4>
<p>would be nice for rust-analyzer I think</p>



<a name="208743833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743833">(Sep 01 2020 at 20:29)</a>:</h4>
<p>(cc <span class="user-mention" data-user-id="125294">@Aaron Hill</span>, still working on generator witness types?)</p>



<a name="208743882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743882">(Sep 01 2020 at 20:29)</a>:</h4>
<p>generators enable support for async in RA</p>



<a name="208743890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743890">(Sep 01 2020 at 20:29)</a>:</h4>
<p>right</p>



<a name="208743892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743892">(Sep 01 2020 at 20:29)</a>:</h4>
<p>There is a WIP PR for that</p>



<a name="208743949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743949">(Sep 01 2020 at 20:30)</a>:</h4>
<p>(generators)</p>



<a name="208743956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743956">(Sep 01 2020 at 20:30)</a>:</h4>
<p>so I guess that's another thing we could turn to a bit, looking at filed issues and PRs</p>



<a name="208743978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743978">(Sep 01 2020 at 20:30)</a>:</h4>
<p>I was skimming now and I saw various interesting ones :)</p>



<a name="208743982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208743982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208743982">(Sep 01 2020 at 20:30)</a>:</h4>
<p>(<a href="https://github.com/rust-lang-nursery/chalk/issues/593">chalk#593</a>)</p>



<a name="208744016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744016">(Sep 01 2020 at 20:30)</a>:</h4>
<p>definitely gonna get there Niko, just not yet :)</p>



<a name="208744036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744036">(Sep 01 2020 at 20:30)</a>:</h4>
<p>Still gotta get through things not finished :)</p>



<a name="208744099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744099">(Sep 01 2020 at 20:31)</a>:</h4>
<p>carry on</p>



<a name="208744118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744118">(Sep 01 2020 at 20:31)</a>:</h4>
<p>So, recursive solver related work</p>



<a name="208744137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744137">(Sep 01 2020 at 20:31)</a>:</h4>
<p>Is there anything that <em>needs</em> to be done?</p>



<a name="208744156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744156">(Sep 01 2020 at 20:31)</a>:</h4>
<p>Or is it just optimizations w/ salsa</p>



<a name="208744172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744172">(Sep 01 2020 at 20:32)</a>:</h4>
<p>I saw some filed issues that seemed relevant</p>



<a name="208744229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744229">(Sep 01 2020 at 20:32)</a>:</h4>
<p>Yeah, negative cycles</p>



<a name="208744239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744239">(Sep 01 2020 at 20:32)</a>:</h4>
<p>That just...died</p>



<a name="208744252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744252">(Sep 01 2020 at 20:32)</a>:</h4>
<p>e.g. <a href="https://github.com/rust-lang-nursery/chalk/issues/584">chalk#584</a></p>



<a name="208744274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744274">(Sep 01 2020 at 20:32)</a>:</h4>
<p>I think I'm ready to retract the PR on negative cycles for now in the hopes we never need them</p>



<a name="208744314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744314">(Sep 01 2020 at 20:32)</a>:</h4>
<p>also <a href="https://github.com/rust-lang-nursery/chalk/issues/568">chalk#568</a></p>



<a name="208744346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744346">(Sep 01 2020 at 20:33)</a>:</h4>
<p>Is 584 recursive solver only?</p>



<a name="208744509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744509">(Sep 01 2020 at 20:34)</a>:</h4>
<p>Yeah that canonical vs instantiated program clause generation is a tricky one</p>



<a name="208744614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744614">(Sep 01 2020 at 20:35)</a>:</h4>
<p>yeah I wish I could remember all the details</p>



<a name="208744644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744644">(Sep 01 2020 at 20:35)</a>:</h4>
<p>we could try to schedule a time (e.g., a meeting) to talk it over</p>



<a name="208744657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744657">(Sep 01 2020 at 20:35)</a>:</h4>
<p>and we'd probably recover the considerations</p>



<a name="208744689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744689">(Sep 01 2020 at 20:35)</a>:</h4>
<p>but probably not for a few weeks</p>



<a name="208744690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744690">(Sep 01 2020 at 20:35)</a>:</h4>
<p>Yeah, I'm not sure we ever fully explored the considerations for each</p>



<a name="208744726"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744726" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744726">(Sep 01 2020 at 20:36)</a>:</h4>
<p>But we should do that</p>



<a name="208744792"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744792" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744792">(Sep 01 2020 at 20:36)</a>:</h4>
<p>For now, let's move on</p>



<a name="208744810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744810">(Sep 01 2020 at 20:36)</a>:</h4>
<p>Opaque types</p>



<a name="208744838"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744838" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744838">(Sep 01 2020 at 20:36)</a>:</h4>
<p>Some open PR(s)</p>



<a name="208744907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744907">(Sep 01 2020 at 20:37)</a>:</h4>
<p>ah yes</p>



<a name="208744914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744914">(Sep 01 2020 at 20:37)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/335#issuecomment-615254659">tracking issue</a></p>



<a name="208744915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744915">(Sep 01 2020 at 20:37)</a>:</h4>
<p>so I was writing up some docs</p>



<a name="208744923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744923">(Sep 01 2020 at 20:37)</a>:</h4>
<p>and there were some open PRs</p>



<a name="208744942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744942">(Sep 01 2020 at 20:37)</a>:</h4>
<p>probably..they just need review ?</p>



<a name="208744960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208744960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208744960">(Sep 01 2020 at 20:37)</a>:</h4>
<p>oh right, I tried to finish those docs but couldn't push to niko's branch or something</p>



<a name="208745036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745036">(Sep 01 2020 at 20:38)</a>:</h4>
<p>(<a href="https://github.com/rust-lang-nursery/chalk/issues/559">chalk#559</a>)</p>



<a name="208745055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745055">(Sep 01 2020 at 20:38)</a>:</h4>
<p>I think <a href="https://github.com/rust-lang-nursery/chalk/issues/579">chalk#579</a> is just waiting for Niko's r+</p>



<a name="208745081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745081">(Sep 01 2020 at 20:38)</a>:</h4>
<p>(brb)</p>



<a name="208745110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745110">(Sep 01 2020 at 20:39)</a>:</h4>
<p>Then, other than docs, is the WF rules with implied bounds</p>



<a name="208745148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745148">(Sep 01 2020 at 20:39)</a>:</h4>
<p>Can someone maybe elaborate on that last point somewhere? (maybe the tracking issue)</p>



<a name="208745245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745245">(Sep 01 2020 at 20:40)</a>:</h4>
<p>hmm, it's been a while...</p>



<a name="208745270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745270">(Sep 01 2020 at 20:40)</a>:</h4>
<p>I'll assign that to you <span class="user-mention" data-user-id="125131">@detrumi</span> :P</p>



<a name="208745280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745280">(Sep 01 2020 at 20:40)</a>:</h4>
<p>(back)</p>



<a name="208745294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745294">(Sep 01 2020 at 20:40)</a>:</h4>
<p>yeah lemme think what <em>that's</em> about ;)</p>



<a name="208745331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745331">(Sep 01 2020 at 20:41)</a>:</h4>
<p>in general there was this question around implied bounds, right, i.e., whether to match how rustc worked ..</p>



<a name="208745348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745348">(Sep 01 2020 at 20:41)</a>:</h4>
<p>...anyway seems relatively minor</p>



<a name="208745374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745374">(Sep 01 2020 at 20:41)</a>:</h4>
<p>yes</p>



<a name="208745417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745417">(Sep 01 2020 at 20:42)</a>:</h4>
<p>Moving on for now</p>



<a name="208745491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745491">(Sep 01 2020 at 20:42)</a>:</h4>
<p>Ah yes, auto traits w/ builtin types for Chalk</p>



<a name="208745501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745501">(Sep 01 2020 at 20:42)</a>:</h4>
<p>(I'm amazed on how there seems to be a whole agenda in Jack's head)</p>



<a name="208745511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745511">(Sep 01 2020 at 20:42)</a>:</h4>
<p>not sure the best place to put that</p>



<a name="208745520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745520">(Sep 01 2020 at 20:42)</a>:</h4>
<p>quick question, <span class="user-mention" data-user-id="125131">@detrumi</span>, you had fixes for <a href="https://github.com/rust-lang-nursery/chalk/issues/559">chalk#559</a>? I can give you access to my chalk fork</p>



<a name="208745529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745529">(Sep 01 2020 at 20:42)</a>:</h4>
<p>I'm <em>somewhat</em> going by the last sprint goals</p>



<a name="208745530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745530">(Sep 01 2020 at 20:42)</a>:</h4>
<p>(if you want to push those)</p>



<a name="208745553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745553">(Sep 01 2020 at 20:43)</a>:</h4>
<p>~17 mins left btw</p>



<a name="208745568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745568">(Sep 01 2020 at 20:43)</a>:</h4>
<p>auto traits w/ builtin types ...</p>



<a name="208745577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745577">(Sep 01 2020 at 20:43)</a>:</h4>
<p>... this seems like a good starter issue</p>



<a name="208745584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745584">(Sep 01 2020 at 20:43)</a>:</h4>
<p>Yep</p>



<a name="208745594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745594">(Sep 01 2020 at 20:43)</a>:</h4>
<p>I will file an issue</p>



<a name="208745690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745690">(Sep 01 2020 at 20:44)</a>:</h4>
<p>Related is builtin traits with builtin types</p>



<a name="208745697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745697">(Sep 01 2020 at 20:44)</a>:</h4>
<p>(like <code>Sized</code>)</p>



<a name="208745720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745720">(Sep 01 2020 at 20:44)</a>:</h4>
<p>we have some table kind of tracking this progress, right?</p>



<a name="208745724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745724">(Sep 01 2020 at 20:44)</a>:</h4>
<p>part of <a href="https://rust-lang.github.io/chalk/book/">the book</a>?</p>



<a name="208745741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745741">(Sep 01 2020 at 20:45)</a>:</h4>
<p>for trait/type impls, yes</p>



<a name="208745769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745769">(Sep 01 2020 at 20:45)</a>:</h4>
<p><a href="http://rust-lang.github.io/chalk/book/clauses/well_known_traits.html">http://rust-lang.github.io/chalk/book/clauses/well_known_traits.html</a></p>



<a name="208745803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745803">(Sep 01 2020 at 20:45)</a>:</h4>
<p>That seems out of date</p>



<a name="208745818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745818">(Sep 01 2020 at 20:45)</a>:</h4>
<p>(for closures)</p>



<a name="208745826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745826">(Sep 01 2020 at 20:45)</a>:</h4>
<p>thought we fixed that</p>



<a name="208745890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745890">(Sep 01 2020 at 20:46)</a>:</h4>
<p>yes I remember that</p>



<a name="208745909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745909">(Sep 01 2020 at 20:46)</a>:</h4>
<p>if that's true, though, we're largely up to date</p>



<a name="208745916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745916">(Sep 01 2020 at 20:46)</a>:</h4>
<p>unless the table is missing things?</p>



<a name="208745929"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745929" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745929">(Sep 01 2020 at 20:46)</a>:</h4>
<p>extern types</p>



<a name="208745931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745931">(Sep 01 2020 at 20:46)</a>:</h4>
<p>apart from auto traits</p>



<a name="208745951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208745951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208745951">(Sep 01 2020 at 20:46)</a>:</h4>
<p>basically only types that are not implemented</p>



<a name="208746005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746005">(Sep 01 2020 at 20:47)</a>:</h4>
<p>I'll do that too</p>



<a name="208746015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746015">(Sep 01 2020 at 20:47)</a>:</h4>
<p>yeah, overall pretty complete</p>



<a name="208746027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746027">(Sep 01 2020 at 20:47)</a>:</h4>
<p>Running pretty low on time, let's move on</p>



<a name="208746050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746050">(Sep 01 2020 at 20:47)</a>:</h4>
<p>Sem/syn equality</p>



<a name="208746068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746068">(Sep 01 2020 at 20:47)</a>:</h4>
<p>New open working PR by <span class="user-mention" data-user-id="230601">@Nathan Whitaker</span></p>



<a name="208746075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746075">(Sep 01 2020 at 20:47)</a>:</h4>
<p>so that kind of stalle out</p>



<a name="208746078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746078">(Sep 01 2020 at 20:47)</a>:</h4>
<p>oh!</p>



<a name="208746131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746131">(Sep 01 2020 at 20:48)</a>:</h4>
<p>needs a look by Niko</p>



<a name="208746151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746151">(Sep 01 2020 at 20:48)</a>:</h4>
<p>what's the number?</p>



<a name="208746169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746169">(Sep 01 2020 at 20:48)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/589">chalk#589</a></p>



<a name="208746180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746180">(Sep 01 2020 at 20:48)</a>:</h4>
<p>I'm adding these to my "to do list", not sure how much I'll be able to do <em>tomorrow</em> but hopefully by end of week</p>



<a name="208746190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746190">(Sep 01 2020 at 20:48)</a>:</h4>
<p>Well, projections only</p>



<a name="208746217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746217">(Sep 01 2020 at 20:48)</a>:</h4>
<p>pretty exciting, still</p>



<a name="208746218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746218">(Sep 01 2020 at 20:48)</a>:</h4>
<p>But I'm not super sure what else to do</p>



<a name="208746220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746220">(Sep 01 2020 at 20:49)</a>:</h4>
<p>Yes :)</p>



<a name="208746240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746240">(Sep 01 2020 at 20:49)</a>:</h4>
<p>Any reason we can't land projections only at first</p>



<a name="208746244"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746244" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746244">(Sep 01 2020 at 20:49)</a>:</h4>
<p>(Functions too now, just pushed that a bit ago)</p>



<a name="208746287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746287">(Sep 01 2020 at 20:49)</a>:</h4>
<p>Love it</p>



<a name="208746303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746303">(Sep 01 2020 at 20:49)</a>:</h4>
<p>The main issue is I tested the changes out on rust-analyzer, and it causes some non-insignificant performance regressions</p>



<a name="208746362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746362">(Sep 01 2020 at 20:50)</a>:</h4>
<p>Hmm</p>



<a name="208746363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746363">(Sep 01 2020 at 20:50)</a>:</h4>
<p>uh oh</p>



<a name="208746402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746402">(Sep 01 2020 at 20:50)</a>:</h4>
<p>We'll have to look into that</p>



<a name="208746407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746407">(Sep 01 2020 at 20:50)</a>:</h4>
<p>Okay, now we can go through any other open PRs</p>



<a name="208746456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746456">(Sep 01 2020 at 20:51)</a>:</h4>
<p>Variance/subtyping. <span class="user-mention" data-user-id="271698">@Super Tuple</span> and <span class="user-mention" data-user-id="218710">@David Ross</span> said they want to take a look at this</p>



<a name="208746466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746466">(Sep 01 2020 at 20:51)</a>:</h4>
<p>(I don't have a ton of time)</p>



<a name="208746499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746499">(Sep 01 2020 at 20:51)</a>:</h4>
<p>The big thing here is coming up with tests and porting the Generalizer from rustc</p>



<a name="208746510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746510">(Sep 01 2020 at 20:51)</a>:</h4>
<p>I'm mentoring on that</p>



<a name="208746522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746522">(Sep 01 2020 at 20:51)</a>:</h4>
<p>But probably need some input from Niko</p>



<a name="208746589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746589">(Sep 01 2020 at 20:52)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/526">chalk#526</a>, negative cycles in recursive solver:</p>



<a name="208746632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746632">(Sep 01 2020 at 20:52)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020/near/208746522">said</a>:</p>
<blockquote>
<p>But probably need some input from Niko</p>
</blockquote>
<p>is there a topic for me to catch up on or something</p>



<a name="208746634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746634">(Sep 01 2020 at 20:52)</a>:</h4>
<p>PR?</p>



<a name="208746679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746679">(Sep 01 2020 at 20:52)</a>:</h4>
<p>Just my PR: <a href="https://github.com/rust-lang-nursery/chalk/issues/520">chalk#520</a></p>



<a name="208746791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746791">(Sep 01 2020 at 20:53)</a>:</h4>
<p>OK</p>



<a name="208746814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746814">(Sep 01 2020 at 20:53)</a>:</h4>
<p>For negative cycles, if there is a bug, we should maybe sure that we don't give <em>wrong</em> results, though I don't think we should give <em>any</em> results for negative cycles</p>



<a name="208746817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> David Ross <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746817">(Sep 01 2020 at 20:54)</a>:</h4>
<p>Re variance, we've got it rebased and have been looking at the generalizer, but having a hard time coming up with generalizer test cases. I think we should be able to port it, but don't really understand how it's necessary in chalk</p>



<a name="208746818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746818">(Sep 01 2020 at 20:54)</a>:</h4>
<p>(right now)</p>



<a name="208746913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746913">(Sep 01 2020 at 20:54)</a>:</h4>
<p><span class="user-mention" data-user-id="218710">@David Ross</span> I should be able to help with that</p>



<a name="208746924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746924">(Sep 01 2020 at 20:54)</a>:</h4>
<p><span class="user-mention silent" data-user-id="218710">David Ross</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020/near/208746817">said</a>:</p>
<blockquote>
<p>Re variance, we've got it rebased and have been looking at the generalizer, but having a hard time coming up with generalizer test cases. I think we should be able to port it, but don't really understand how it's necessary in chalk</p>
</blockquote>
<p>Yeah, that was somewhat were I left off. i.e. needing tests</p>



<a name="208746938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746938">(Sep 01 2020 at 20:54)</a>:</h4>
<p>it <em>mostly</em> doesn't come up in chalk but it can</p>



<a name="208746953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746953">(Sep 01 2020 at 20:54)</a>:</h4>
<p>at least if we're doing it right</p>



<a name="208746983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746983">(Sep 01 2020 at 20:55)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020/near/208746814">said</a>:</p>
<blockquote>
<p>For negative cycles, if there is a bug, we should maybe sure that we don't give <em>wrong</em> results, though I don't think we should give <em>any</em> results for negative cycles</p>
</blockquote>
<p>say more about this?</p>



<a name="208746993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208746993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208746993">(Sep 01 2020 at 20:55)</a>:</h4>
<p>is there an issue in particular?</p>



<a name="208747002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747002">(Sep 01 2020 at 20:55)</a>:</h4>
<p>or are you referencing my PR and concerns?</p>



<a name="208747006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747006">(Sep 01 2020 at 20:55)</a>:</h4>
<p>Just your PR</p>



<a name="208747047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747047">(Sep 01 2020 at 20:55)</a>:</h4>
<p>Super low on time, so I want to move on</p>



<a name="208747055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747055">(Sep 01 2020 at 20:55)</a>:</h4>
<p>we can discuss later</p>



<a name="208747067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747067">(Sep 01 2020 at 20:55)</a>:</h4>
<p>Two other PRs worth mentioning</p>



<a name="208747070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747070">(Sep 01 2020 at 20:55)</a>:</h4>
<p>one small:</p>



<a name="208747108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747108">(Sep 01 2020 at 20:56)</a>:</h4>
<p>fix for const/var unification</p>



<a name="208747132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747132">(Sep 01 2020 at 20:56)</a>:</h4>
<p>I think it's good</p>



<a name="208747160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747160">(Sep 01 2020 at 20:56)</a>:</h4>
<p>one small nit for <span class="user-mention" data-user-id="230601">@Nathan Whitaker</span> then r+able</p>



<a name="208747198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747198">(Sep 01 2020 at 20:56)</a>:</h4>
<p>But, const evaluation :)</p>



<a name="208747209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747209">(Sep 01 2020 at 20:56)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/596">chalk#596</a></p>



<a name="208747234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747234">(Sep 01 2020 at 20:57)</a>:</h4>
<p>Need to take another look</p>



<a name="208747255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747255">(Sep 01 2020 at 20:57)</a>:</h4>
<p>but overall looks pretty straightforward</p>



<a name="208747280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747280">(Sep 01 2020 at 20:57)</a>:</h4>
<p>Though, need another set of eyes</p>



<a name="208747314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747314">(Sep 01 2020 at 20:57)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020/near/208747160">said</a>:</p>
<blockquote>
<p>one small nit for <span class="user-mention silent" data-user-id="230601">Nathan Whitaker</span> then r+able</p>
</blockquote>
<p>being fixed as we speak it seems <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<a name="208747334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747334">(Sep 01 2020 at 20:57)</a>:</h4>
<p>Okay, 3 minutes left</p>



<a name="208747346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747346">(Sep 01 2020 at 20:57)</a>:</h4>
<p>Let's talk about planning</p>



<a name="208747418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747418">(Sep 01 2020 at 20:58)</a>:</h4>
<p>So, does everyone still like the sprint system?</p>



<a name="208747436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747436">(Sep 01 2020 at 20:58)</a>:</h4>
<p>heh</p>



<a name="208747437"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747437" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747437">(Sep 01 2020 at 20:58)</a>:</h4>
<p>I think it works well</p>



<a name="208747446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747446">(Sep 01 2020 at 20:58)</a>:</h4>
<p>lots of time, but I think I'm still a fan</p>



<a name="208747470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747470">(Sep 01 2020 at 20:58)</a>:</h4>
<p>um, let's decide on that next meeting? we can probably start a sprint then if we want</p>



<a name="208747487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747487">(Sep 01 2020 at 20:58)</a>:</h4>
<p>yeah, seems like it'd be better to call it here, we did an impressive sweep</p>



<a name="208747499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747499">(Sep 01 2020 at 20:58)</a>:</h4>
<p>yeah of course</p>



<a name="208747526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747526">(Sep 01 2020 at 20:59)</a>:</h4>
<p>I was mostly gonna say: let's plan to plan next meeting</p>



<a name="208747555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747555">(Sep 01 2020 at 20:59)</a>:</h4>
<p>my main comment on the sprint system is that, while I think it's useful, I do wonder if we can focus on fewer items -- but somehow there always seems to be some creep that causes us to grow the number of items</p>



<a name="208747584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747584">(Sep 01 2020 at 20:59)</a>:</h4>
<p>but maybe we can start out trying to be focused :)</p>



<a name="208747600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747600">(Sep 01 2020 at 20:59)</a>:</h4>
<p>but that's for next time....</p>



<a name="208747690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747690">(Sep 01 2020 at 21:00)</a>:</h4>
<p>Well, another thing is that we're starting to get blocked a just a couple <em>hard</em> things</p>



<a name="208747694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747694">(Sep 01 2020 at 21:00)</a>:</h4>
<p>or center some goals around 1-3 main goals</p>



<a name="208747733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747733">(Sep 01 2020 at 21:00)</a>:</h4>
<p>versus in the beginning of the year, there was a lot of smaller things</p>



<a name="208747746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747746">(Sep 01 2020 at 21:00)</a>:</h4>
<p>yeah</p>



<a name="208747771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747771">(Sep 01 2020 at 21:00)</a>:</h4>
<p>hopefully we can have some renewed energy to fix that</p>



<a name="208747852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747852">(Sep 01 2020 at 21:01)</a>:</h4>
<p>Anyways, that's time</p>



<a name="208747894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747894">(Sep 01 2020 at 21:01)</a>:</h4>
<p>Thanks everyone for attending :)</p>



<a name="208747950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747950">(Sep 01 2020 at 21:01)</a>:</h4>
<p>Sometime before next week, I'll make a topic to start to put together ideas for next sprint</p>



<a name="208747988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208747988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208747988">(Sep 01 2020 at 21:01)</a>:</h4>
<p>One more potential action item for niko: work on the skill tree?</p>



<a name="208748092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208748092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208748092">(Sep 01 2020 at 21:02)</a>:</h4>
<p>Yeah</p>



<a name="208748172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208748172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208748172">(Sep 01 2020 at 21:03)</a>:</h4>
<p>I'm trying to keep the list of things for Niko to do small</p>



<a name="208748180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2009.01.2020/near/208748180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2009.2E01.2E2020.html#208748180">(Sep 01 2020 at 21:03)</a>:</h4>
<p>lol</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>